Heinz Nixdorf
Lebensbilder

Source URL: www.hnf.de

Heinz Nixdorf MuseumsForum: Mehr als das größte Computermuseum der Welt Antike Schrifttafeln, historische Schreib- und Rechenmaschinen, die ersten PCs oder die neuesten Entwicklungen zur Künstlichen Intelligenz: Das H

Source URL: www.hnf.de

Heinz Nixdorf MuseumsForum Mehr als das größte Computermuseum der Welt

Source URL: www.hnf.de

Synthesis of Reconfiguration Charts12 Technical report Tobias Eckardt and Stefan Henkler Heinz Nixdorf Institute

Source URL: www.fujaba.de

• ISO standards
• Software architecture
• Diagrams
• Knowledge representation
• Unified Modeling Language
• Component-based software engineering
• System
• Formal verification
• Mechatronics
• Software engineering
• Science
• Computing

Structuring Complex Story Diagrams by Polymorphic Calls Technical Report tr-riSteffen Becker, Markus von Detten, Christian Heinzemann? , and Jan Rieke? Software Engineering Group, Heinz Nixdorf Institute Universi

Source URL: www.fujaba.de

• UML diagrams
• Unified Modeling Language
• State diagram
• Activity diagram
• Dia
• Classifier
• Graph rewriting
• Topology
• Software
• Infographics
• Diagrams

Providing Timing Computations for FUJABA∗ Tobias Eckardt, Christian Heinzemann Software Engineering Group, Heinz Nixdorf Institute University of Paderborn Warburger Str. 100

Source URL: www.fujaba.de

• Uppaal Model Checker
• Transmission Control Protocol
• Server
• Internet protocol suite
• Model checking
• DBm
• Client-side
• Computing
• Science
• Model checkers
• Clock
• Horology

Sprachliche und prosodische Darstellung kunstlicher ¨ Emotionen in der Mensch-Roboter-Kommunikation Heinz Nixdorf Institut

Source URL: www.cyberspaces.de

Visualization of Pattern Detection Results in Reclipse Marie Christin Platenius, Markus von Detten, Dietrich Travkin Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, Germany [mcp|

Source URL: www.fujaba.de

• Computer programming
• Observer pattern
• Design Patterns
• Structural pattern
• Pattern matching
• Pattern
• Object-oriented programming
• Visualization
• Software design patterns
• Software engineering
• Computing

Component Behavior Synthesis for Critical Systems, Tobias Eckardt and Stefan Henkler Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Warburger Str. 100, Paderborn, Germany {tobie,shenkler

Source URL: www.fujaba.de

• Horology
• Constraint automaton
• Automata theory
• Cellular automata
• Clock

Interpreting Story Diagrams for the Static Detection of Software Patterns Markus Fockel, Dietrich Travkin, Markus von Detten Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Paderborn, German

Source URL: www.fujaba.de

• Data modeling
• Diagrams
• Computing
• Knowledge representation
• Graph rewriting
• Software design pattern
• Regular expression
• Meta-Object Facility
• Activity diagram
• Software engineering
• ISO standards
• Unified Modeling Language